A two strain HIV/AIDS model with treatment which allows AIDS patients with sensitive HIV-strain to undergo amelioration is presented as a system of non-linear ordinary differential equations. The disease-free equilibrium is shown to be globally asymptotically stable when the associated epidemic threshold known as the basic reproduction number for the model is less than unity. The centre manifold theory is used to show that the sensitive HIV-strain only and resistant HIV-strain only endemic equilibria are locally asymptotically stable when the associated (...) reproduction numbers are greater than unity. Qualitative analysis of the model including positivity, boundedness and persistence of solutions are presented. The model is numerically analysed to assess the effects of treatment with amelioration on the dynamics of a two strain HIV/AIDS model. Numerical simulations of the model show that the two strains co-exist whenever the reproduction numbers exceed unity. Further, treatment with amelioration may result in an increase in the total number of infective individuals (asymptomatic) but results in a decrease in the number of AIDS patients. Further, analysis of the reproduction numbers show that antiretroviral resistance increases with increase in antiretroviral use. (shrink)

The notion that our society, its education system and its intellectual life, is characterised by a split between two cultures – the arts or humanities on one hand and the sciences on the other – has a long history. But it was C. P. Snow's Rede lecture of 1959 that brought it to prominence and began a public debate that is still raging in the media today. This fiftieth anniversary printing of The Two Cultures and its successor piece, A Second (...) Look features an introduction by Stefan Collini, charting the history and context of the debate, its implications and its afterlife. The importance of science and technology in policy run largely by non-scientists, the future for education and research, and the problem of fragmentation threatening hopes for a common culture are just some of the subjects discussed. (shrink)

Hsiao has recently developed what he considers a ‘simple and straightforward’ argument for the moral permissibility of corporal punishment. In this article we argue that Hsiao's argument is seriously flawed for at least two reasons. Specifically, we argue that a key premise of Hsiao's argument is question-begging, and Hsiao's argument depends upon a pair of false underlying assumptions, namely, the assumption that children are moral agents, and the assumption that all forms of wrongdoing demand retribution.

Dan Baras has recently argued for the claim that Theistic Mathematical Platonism fares no better than Mathematical Platonism with respect to explaining why our mathematical beliefs are correlated with mind-independent mathematical truths. In this paper I argue that, insofar as TMP provides a proximate or local explanation for this truth-tracking correlation whereas MP fails to offer any corresponding explanation, Baras’s claim that TMP fares no better than MP with respect to explaining this correlation is false.

C P Ormell; Ideology and the Reform of School Mathematics, Journal of Philosophy of Education, Volume 3, Issue 1, 30 May 2006, Pages 37–54, https://doi.org/10.1.

Between 1069, the year of his arrival at St. Martin in Mainz, where he spent the rest of his life in voluntary enclosure in a cell, and his death in 1082, the Irish monk Marianus Scottus dedicated countless hours to assembling the most sophisticated and comprehensive work on historical chronology that had ever been produced by a Latin writer up to that time. The fruits of his labors became a massive world chronicle, completed in 1076, whose most famous innovation consisted (...) in a far-reaching correction to the Christian, or “common,” era, which had been introduced by Dionysius Exiguus in the sixth century. Having compared the data of the Easter computus with the chronological parameters traditionally associated with the passion of Christ—the fifteenth day of the moon on Friday, 25 March—Marianus found that the only year in which the numbers could be made to fit was AD 12 rather than the traditionally accepted AD 34. As a result, he decided to predate the life of Jesus by twenty-two years, assigning his birth to the year corresponding to 22 BC. This gave rise to a new “corrected” era , which he used alongside its Dionysiac equivalent. (shrink)

God’s providence appears to threaten the existence of human freedom. This paper examines why Descartes considered this threat merelyapparent. Section one argues that Descartes did not reconcile providence and freedom by adopting a compatibilist conception of freedom. Sections two and three argue that for Descartes, God’s superior knowledge allows God to providentially arrange free choices without causally determining them. Descartes’ position thus strongly resembles the “middle knowledge” solution of the Jesuits. Section four examines the problematic relationship between this solution and (...) the creation of the eternal truths, arguing that Descartes’ position depends on his unique understanding of divine simplicity. (shrink)

In the Fourth Meditation, Descartes asks: 'If God is no deceiver, why do we sometimes err?' Descartes's answer (despite initial appearances) is both systematic and necessary for his epistemological project. Two atheistic arguments from error purport to show that reason both proves and disproves God's existence. Descartes must block them to escape scepticism. He offers a mixed theodicy: the value of free will justifies God in allowing our actual errors, and the perfection of the universe may justify God in making (...) us able to err. Though internally coherent, Descartes's theodicy conflicts with his view of divine providence. (shrink)

We formalise the notion of those infinite binary sequences z that admit a single program P which expresses the entire algorithmical structure of z. Such a program P minimizes the information which must be used in a relative computation for z. We propose two concepts with different strength for this notion, the learnable and the super-learnable sequences. We establish three different equivalent characterizations of learnable (super-learnable, resp.) sequences. In particular, we prove that a sequences z is learnable (super-learnable, resp.) if (...) and only if there is a computable probability measure p such that p is Schnorr (Martin-Lof, resp.) p-random. There is a recursively enumerable sequence which is not learnable. The learnable sequences are invariant with respect to all total and effective transformations of infinite binary sequences. (shrink)

Becoming autonomous is a process of coming to realise oneself in shared, socio-historical practices. There can be no self before these practices, but their existence is no guarantee for selfhood either: one can be heteronomous through one's successful participation in various practices if that participation is not a genuine expression of one's own personhood. This means that the sheer capability to participate in the practices in which one finds oneself is not sufficient for personal autonomy. Something else is required before (...) the self is realised in shared, socio-historical practices. How can this be, if as we said, there can be no self before these practices? By what principle do we decide whether a particular expression of selfhood in a socio-historical practice is genuine? If there can only be a self within socio-historical practices, it stands to reason that we can find it only there. If, however, one's participation cannot be considered in advance as a genuine expression of oneself, what we may expect to find is perhaps only a fragment, a hint of autonomy always already entangled in heteronomous elements, or things that would be different if one could have so chosen. To come to an understanding of oneself, then, will require more than just a handle on one's existence in various practices. It will require the capacity to see one's participation in this socio-historically determined practice as a fragment of a whole, a particular instance of something more general which points beyond our present participation in these particular, socio-historically determined practices towards a horizon of possibility that recedes beyond our grasp whenever we try to make definitive sense out of a possibility for agency. (shrink)